Model-Based Codesign of Critical Embedded Systems
نویسندگان
چکیده
We present a comprehensive methodology for the specification and analysis of critical embedded systems. The methodology is based on an architectural design language that enables modeling of both software and hardware components, timed and hybrid behavior, faulty behavior and degraded modes of operation, error propagation and recovery. The methodology is supported by an integrated platform, implemented on top of state-of-the-art tools, that provides verification capabilities ranging from requirements analysis to functional verification, safety assessment, performability evaluation, diagnosis and diagnosability.
منابع مشابه
A Prototyping Environment for Model-Based Codesign
In this paper, a prototyping environment for embedded systems design is presented. This environment supports a design methodology called model-based codesign and fosters implementation independent specification of embedded systems. In this article, the focus is on the technology allocation and implementation phases of the methodology.
متن کاملA Feature-based Approach to Embedded System Hardware and Software Co-design
Correspnding author, Email: [email protected] ABSTRACT An embedded system is a hybrid of hardware and softwarethat combines software flexibility and hardware real-time performance. The co-design of hardware and software is the most critical but difficult issue in embedded system design. In this paper, we propose a novel feature-based approach to the codesign of hardware and software in embedded ...
متن کاملOnline Adaptive Fault Tolerant based Feedback Control Scheduling Algorithm for Multiprocessor Embedded Systems
Since some years ago, use of Feedback Control Scheduling Algorithm (FCSA) in the control scheduling codesign of multiprocessor embedded system has increased. FCSA provides Quality of Service (QoS) in terms of overall system performance and resource allocation in open and unpredictable environment. FCSA uses quality control feedback loop to keep CPU utilization under desired unitization bound by...
متن کاملControl-Scheduling Codesign: A Perspective on Integrating Control and Computing
Despite rapid evolution, embedded computing systems increasingly feature resource constraints and workload uncertainties. To achieve much better system performance in unpredictable environments than traditional design approaches, a novel methodology, control-scheduling codesign, is emerging in the context of integrating feedback control and real-time computing. The aim of this work is to provid...
متن کاملConcepts for Model Compilation in Hardware/Software Codesign
The model-based design process has established itself in the domain of hardware/software codesign. It has been applied to many complex embedded systems. Nevertheless we still observe a discontinuity in the design process when the system model evolves into its eventual implementation. We present here the concepts for a model compiler which addresses this model continuity problem. In addition, a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009